Repeatability Package for "Differential Testing of Pushdown Reachability with a Formally Verified Oracle"

Repeatability package for the paper "Differential Testing of Pushdown Reachability with a Formally Verified Oracle" accepted at FMCAD 2022. This package contains the Isabelle formalization as well as the experimental setup for the case study in the paper - including scripts, benchmarks, as well as source code and executables for the different versions of the PDAAAL library studied.  The experimental setup is only available for Linux, while the Isabelle formalization can be used on a platform where Isabelle can be installed. See the README.txt files for more details

Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks"

Artifact for the paper "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks" accepted at CoNEXT 2022. The artifact contains the python source code of R-MPLS implemented on top of the MPLS data plane generator and simulator MPLS-Kit (accepted for Global Internet 2022), along with a topology dataset derived from topology-zoo in an adapted JSON format. The artifact comes with scripts to reproduce the experiments described in the paper and a Jupyter notebook to process the result files. The scripts are written in Bash and automate the execution of the MPLS-Kit python code. Additionally, we include a dataset containing the result files we obtained from executing the artifact’s scripts on our compute cluster. Finally, we provide instructions for executing the scripts and reproducing the results. (Only tested on / available for Linux

Artifact for "AalWiNes: A Fast and Quantitative What-If Analysis Tool for MPLS Networks"

Artifact for the paper "AalWiNes: A Fast and Quantitative What-If Analysis Tool for MPLS Networks", accepted at CoNEXT 2020. This artifact contains a reproducibility-package with experiments and scripts to reproduce the results reported in the paper.  The source code is available on GitHub:  - Source code for AalWiNes: https://github.com/DEIS-Tools/AalWiNes  - Source code for the PDA engine: https://github.com/DEIS-Tools/PDAAAL  - Source code for the GUI: https://github.com/DEIS-Tools/VisuAalWiNes A demo of the GUI is available at: https://demo.aalwines.cs.aau.dk   Reproducibility The reproducibility-package is only available for Linux. The package contains:  - bin (programs binaries)  - operator-network (for the table in the paper)  - synthetic-networks (for the plot in the paper)  - results (pre-populated)  - Scripts to run tests and create plot and table. Please see the README.txt file for further information